Using the Idaf (interaction Diagrams and Fragmentations) Tool Suite
نویسنده
چکیده
Interaction diagrams are used in multi-agent systems to describe computation threads of agents and communication between agents. The IDaF (Interaction Diagrams And Fragmen-tations) is a tool suite based on the formalism of interaction diagrams and fragmentations. The tool suite consists of ValidatoR, FormatteR, TranslatoR, GrapheR and TesteR. This paper describes the usage of the tool suite.
منابع مشابه
Translation and validation of Persian version of Index of Dental Anxiety and Fear (IDAF-4C+)
BACKGROUND AND AIM: Being able to measure dental anxiety and fear is a necessary prerequisite for studying and understanding the nature and consequences of this common fear. Index of Dental Anxiety and Fear (IDAF-4C+) is the latest scale presented for the assessment of dental anxiety, but it has never been applied in Iran. The aim of this study was t...
متن کاملCoexistence of type I atrial flutter and intra-atrial re-entrant tachycardia in patients with surgically corrected congenital heart disease.
OBJECTIVES This study assessed the coexistence of intra-atrial re-entrant tachycardia (IART) and isthmus-dependent atrial flutter (IDAF) in patients presenting with supraventricular tachyarrhythmias after surgical correction of congenital heart disease (CHD). BACKGROUND In patients with CHD, atrial tachyarrhythmias may result from IART or IDAF. The frequency with which IART and IDAF coexist i...
متن کاملExcited-State Parameters of One Intramolecular Cyclization by TD-DFT, CIS and ZINDO Methods
Using a time-dependent-density functional theory (TD-DFT), Configuration Interaction Singles (CIS) and Zerner’s Intermediate Neglect of Differential Overlap (ZINDO) methods, we have investigated the UV-Visible spectra of one new intramolecular cyclization at before and after intramolecular attack. All structures were optimized at the B3LYP/6-311++G** level while UV-Visible parameters were calcul...
متن کاملTranslation and validation of the Finnish version of index of dental anxiety and fear (IDAF-4C+) among dental students
BACKGROUND Dental fear accounts for 41% of the non-habitual dental attendance such as visiting only when in pain among adult Finns. Dentists should be able to recognize patients in risk for irregular attendance due to dental fear and measure their fear with valid and reliable instrument that capture the multidimensionality of dental fear. The study's aim was to translate the Index of Dental Anx...
متن کاملFormal Semantics for AUML Agent Interaction Protocol Diagrams
In this paper we introduce an approach for defining semantics for AUML agent interaction protocol diagrams using Petri net code structures. This approach is based on the usage of net components which provide basic tasks and the structure for Petri Nets. Agent interaction protocol diagrams are used to model agent conversations on an abstract level. By mapping elements of the diagrams to net comp...
متن کامل